Thread algebra for SANE Virtual Processors
نویسندگان
چکیده
This paper presents a formal approach to the verification and evaluation of a programming/machine model being developed at the University of Amsterdam, called the SANE Virtual Processor (SVP). The model is being used as a basis for designing and programming chip multiprocessors and to support self-adaptive computation. This model can provide solutions for effectively programming distributed multiprocessor systems [12, 13, 17]. We take thread algebra [11], a semantics for recent object-oriented programming languages such as C# and Java, as a theoretical framework of our approach. We model the basic interleaving strategies used in SVP, and show in thread algebra that the SVP programs has a desired property, i.e. they are communication-deadlock free.
منابع مشابه
Formalizing SANE Virtual Processor in Thread Algebra
The SANE Virtual Processor (SVP) is a fine-grain, threadbased model of concurrent program composition developed and used at the University of Amsterdam as a basis for designing and programming many-core chips. Its design goal was to support dynamic concurrency and hence support self-adaptive systems within the AETHER collaborative European project. It provides an effective solution for programm...
متن کاملFuture Emerging Technologies " Self-adaptive Embedded Technologies for Pervasive Computing Architectures " First Annual Research Report on Abstract Sane Processors and System Environment (t2.1.1) and Sane Interactions and Adaptation (t2.1.2) Deliverable D2.1.1 Sp2 / Wp2.1 – Sane Interaction and Run-time
Abstract: Sub-project 2 has as its major objective the definition of an abstract model that supports the project’s goals of self-adaptation at all levels within a system, from the hardware to the application layer. Moreover it must provide a firm definition of a realisation of that model that will eventually enable the development of various prototype tools to support the model at each of these...
متن کاملAn implementation of the SANE Virtual Processor using POSIX threads
The SANE Virtual Processor is an abstract concurrent programming model that is both deadlock free and supports e cient implementation. It is captured by the μTC programming language. The work presented in this paper covers a portable implementation of this model as a C++ library on top of POSIX Threads. Programs in μTC can be translated to the standard C++ syntax and linked with this library to...
متن کاملResource Sharing Unpredictably Affects Per-thread Performance in Multithreaded Architectures, but System Software Assumes All Coexecuting Threads Make Equal Progress. Per-thread Cycle Accounting Addresses This Problem by Tracking Per-thread Progress Rates for Each Coexecuting Thread
......Multithreading and multicore processors seek to improve microprocessor utilization by sharing resources across multiple active threads. Although resource sharing increases overall system throughput, it also affects per-thread performance in unpredictable ways—that is, one thread might make faster progress than another and some threads might even starve. However, system software, such as a...
متن کاملPower-aware Speed-up for Multithreaded Numerical Linear Algebraic Solvers on Chip Multicore Processors
With the advent of multicore chips new parallel computing metrics and models have become essential for redesigning traditional scientific application libraries tuned to a single chip. In this paper we evolve metrics specific to generalized chip multicore processors (CMP) and use them for parallel performance modeling of numerical linear algebra routines that are commonly available as shared obj...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007